反应堆时空动力学方程的解法研究

利用分离变量法导出了均匀圆柱形反应堆时空中子动力学方程的近似解析解,它满足反应堆运行现场所需的计算速度和精度要求,对舰船反应堆安全运行有重要意义.     

船用核反应堆提棒外推临界优化研究

因稳定时间受限,传统的倍增公式导出的外推临界公式计算结果大于实测值,偏危险;文中根据新的中子倍增公式导出了外推临界计算的新公式,实例计算表明,该公式比传统的外推临界公式精确且偏安全.     

装甲车辆动力与传动系统一体化仿真平台开发

通过深入研究VC++与Matlab/Simulink之间的接口技术,选择调用Matlab引擎实现了对装甲车辆动力与传动系统一体化仿真模型的控制及VC++与Matlab/Simulink之间的数据交换,开发了装甲车辆动力与传动系统一体化仿真平台.     

嵌入式在线航空摄影测量方法

为满足空间数据实时处理的需求,提高航空摄影测量系统在线处理能力,研究一种在线摄影测量的理论与方法,运用嵌入式架构设计一种在线摄影测量系统,使用可编程门阵列(FPGA)方法、高级精简指令集机器组合数字信号处理器(ARM+DSP)方法等嵌入式计算技术建立专门的硬件运行环境,移植并优化现有算法到嵌入式系统中,实现摄影测量数据的在线处理。机载航摄实验结果表明,该方法能够实现对摄影测量数据进行快速稳定的在线处理,验证了运用嵌入式架构的在线摄影测量的可行性,把摄影测量的处理效率提高到了一个更高的水平,同时也进一步拓宽了摄影测量技术的应用领域。     

基于概率分布的硬件木马检测特征选择方法

针对基于旁路信号分析的硬件木马检测中存在的高维以及信号冗余度高等问题,寻求一种特征选择方法在降维、降低冗余度方面的可行性,通过考虑样本概率的分布情况,提出了一种以散度和Bhattacharyya距离作为可分性判据的特征选择方法。首先分析了旁路信号的特征选择问题,然后阐述了基于散度和Bhattacharyya距离的可分性判据,最后在FPGA中植入硬件木马,采用K-L方法进行实验,通过对样本特征选择前后的检测效果发现,这种特征选择方法不仅有助于分辨"金片"与含木马的待测芯片间旁路信号的统计差异,而且与分类错误率建立联系,更好地实现了硬件木马的检测。     

基于旁路环境下的密码芯片安全性评估

为在复杂旁路攻击敌手环境下对密码芯片进行安全评估,通过物理可观测密码术模型框架对旁路分析过程进行建模;借鉴传统面向实际的可证明安全性理论,定义旁路环境下的两类旁路敌手:密钥恢复旁路分析敌手与不可分辨性判定旁路分析敌手,并给出了密码实现针对这两类旁路敌手的安全性度量模型;对安全性评估中的重要参数指标进行定义与推导;最后根据旁路分析定义、模型及安全性度量指标,提出针对旁路分析的通用评估框架,为研究可抵抗旁路分析攻击的密码设备打下基础。     

基于UML/Petri网的作战指挥可视化建模与验证

主要对一种典型作战--"导弹拦截卫星"的指挥活动建立其可视化的军事概念模型.建模过程中主要运用了工作流建模的思想、UML建模语言和Petri网建模方法,建模过程又分为模型构建和模型检验两部分内容,通过模型构建来描述"导弹攻击卫星"指挥活动内容以及活动流程等;而通过模型检验来验证模型自身的正确性,以及对指挥活动分析的正确性.     

考虑摩擦时环状流的空泡份额求解

在熵增模型的基础上,考虑壁面摩擦对空泡份额的影响,推导出了空泡份额应满足的方程,求得其解析解和数值解,并进行了讨论.分析表明,其结果包含了有关文献的结果,具有更大的适用范围.     

碘坑仿真研究

进行了船用堆停堆后碘坑情况的仿真,并和点堆模型计算数据进行了对比.结果表明,用三维双群堆芯物理计算模型对碘坑下启动进行实时仿真,比采用点堆模型更能满足工程仿真的精度要求,适用于碘坑仿真计算.